Execution architectures for program algebra
نویسندگان
چکیده
منابع مشابه
Execution architectures for program algebra
We investigate the notion of an execution architecture in the setting of the program algebra PGA, and distinguish two sorts of these: analytic architectures, designed for the purpose of explanation and provided with a process-algebraic, compositional semantics, and synthetic architectures, focusing on how a program may be a physical part of an execution architecture. Then we discuss in detail t...
متن کاملProgram Execution on Reconfigurable Multicore Architectures
Based on the two observations that diverse applications perform better on different multicore architectures, and that different phases of an application may have vastly different resource requirements, Pal et al. proposed a novel reconfigurable hardware approach for executing multithreaded programs. Instead of mapping a concurrent program to a fixed architecture, the architecture adaptively rec...
متن کاملExecution Architectures and Compilation
This paper introduces a partition of the possible forms of knowledge according to their rela tionship to the basic objective of an intelligent agent, namely to act successfully in response to its environment. The resulting classes of knowl edge range from fully declarative to fully com piled. From these classes, it is possible to gen erate 1) a set of execution architectures, each of which ...
متن کاملInterface Groups for Analytic Execution Architectures
Analytic execution architectures have been proposed as a means to conceptualize the cooperation between components such as programs, threads, states and services. Interface groups provide a technique to combine interface elements into interfaces with the flexibility to distinguish between permission and obligation and between promise and expectation which all come into play when component inter...
متن کاملExecution-Driven Simulation Approach for Multiprocessor Architectures
There are three common approaches to the design of a simulator: event based approach, time based approach and the process based approach. The approach chosen when designing the model should be based on the characteristics of the system under study. One accepted approach of simulating an existing or developing architecture is trace-driven simulation. However, there are multiple problems while ap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2007
ISSN: 1570-8683
DOI: 10.1016/j.jal.2005.10.013